Practical Inference With Systems of Gradual Implicative Rules
نویسندگان
چکیده
منابع مشابه
Practical use of fuzzy implicative gradual rules in knowledge representation and comparison with Mamdani rules
Thanks to their ability to model natural language, fuzzy rules are very popular in expert knowledge representation. Mamdani fuzzy systems are widely used for process simulation or control. Nevertheless, fuzzy implicative rules, and especially gradual rules, provide another kind of knowledge representation, which can be very useful in approximate reasoning. In this paper, the two types of rules ...
متن کامل2D inference with fuzzy implicative rules and fuzzy inputs
Hazaël Jones is with INRA and Cemagref, UMR ITAP, UMR ASB, place Pierre Viala 34060 Montpellier Cedex 1 FRANCE (phone: +33 499612070; email: [email protected]). Didier Dubois is with IRIT, CNRS & Université de Toulouse 118 Route de Narbonne 31062 Toulouse Cedex 09 (phone: +33 561556331; email: [email protected]). Serge Guillaume is with Cemagref UMR ITAP 361, rue JF Breton 34196 Montpellier Ce...
متن کاملPresenting and Combining Inference Systems: Presentations with Inference Rules
The paper discuss the problem of representing and combining inference systems for (abstract) context institutions, within the framework of context presentations [9]. As it turns out, thanks to the context information present in this setting, the inference rules for quantifier logics can be expressed and manipulated in a simple way, without referring to binding operators or requirements (cf. [11]).
متن کاملTowards Practical Gradual Typing
Over the past 20 years, programmers have embraced dynamically-typed programming languages. By now, they have also come to realize that programs in these languages lack reliable type information for software engineering purposes. Gradual typing addresses this problem; it empowers programmers to annotate an existing system with sound type information on a piecemeal basis. This paper presents an i...
متن کاملGradual Liquid Type Inference
We present gradual liquid type inference, a novel combination of refinement types with gradual refinements that range over a finite set of SMT-decidable predicates. This finiteness restriction allows for an algorithmic inference procedure where all possibly valid interpretations of a gradual refinement are exhaustively checked. Thanks to exhaustive searching we can detect the safe concretizatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Fuzzy Systems
سال: 2009
ISSN: 1063-6706,1941-0034
DOI: 10.1109/tfuzz.2008.2007851